Modeling Causal Consistency in a Distributed Shared Memory using Hierarchical Colored Petri Net
نویسندگان
چکیده
منابع مشابه
Timed Colored Petri Net Models of Distributed Memory Multithreaded Multiprocessors
Distributed{memory multithreaded multiprocessors are composed of a number of (multithreaded) processors, each with its memory, and an interconnecting network. The long memory latencies and synchronization delays are tolerated by context switching, i.e., by suspending the current thread and switching the processor to another `ready' thread provided such a thread is available. Because of very sim...
متن کاملModeling and Simulation Firewall Using Colored Petri Net
In this paper the methodology of firewalled LAN models construction in the form of Colored Petri Net is introduced and model the ACL (Access Control List ) in firewalls as the first form of defense for the simulation and analysis of the model the Design/CPN Tools is used The components of the model are Firewall, Switch, Hub, Server and Workstation.
متن کاملIntegrated Manufacturing System Modeling and Simulation Using Distributed Colored Timed Petri Net
In this paper, an integrated and distributed modeling and simulation environment is developed for the next generation manufacturing systems. A distributed colored timed Petri net (DCTPN) is the modeling techniques for the proposed environment. Based on the DCTPN, the shop floor process and the manufacturing execution system (MES) can be integrated horizontally and vertically. In addition, a com...
متن کاملHierarchical Configurable Petri Net Modeling in VHDL
The paper presents method for hierarchical configurable Petri nets description in VHDL language. Dual model is an alternative way for behavioral description of the discrete control process. Dual model consists of two correlated models: UML state machine diagram and hierarchical configurable Petri net (HCfgPN). HCfgPN are Petri nets variant with direct support of exceptions handling mechanism. L...
متن کاملA Colored Petri Net Model of Distributed Tactical Decision Making*
A Colored Petri Net implementation of the mathematical model of a decision making organization that forms the basis of an experiment currently being carried out is presented. The model is used to investigate coordination mechanisms by decoupling the information flow paths and the coordination mechanisms into two interacting layers in which the coordination layer coordinates the behavior of the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Indian Journal of Science and Technology
سال: 2015
ISSN: 0974-5645,0974-6846
DOI: 10.17485/ijst/2015/v8i33/75502